Section: New Results

Formalizing Delaunay triangulations

Participants : Yves Bertot, Wassim Haffaf.

We studied the applicability of the mathematical component library to describe Delaunay triangulation algorithms in the most abstract way. We also formalized a theorem on convex functions known as Jensen's inequality.